Finite Scope Check
有限スコープ仮説
Small Scope Hypothesis
と関連ある話か